New Concepts in the Abstract Format of the Compositional Interchange Format
نویسندگان
چکیده
منابع مشابه
The Hierarchical Compositional Interchange Format
In computer science, the development of hierarchical automata / statecharts has lead to stepwise development of complex discrete systems. Such a concept is absent in the Compositional Interchange Format (CIF), which is a modelling language based on hybrid automata. In this article we extend the CIF language with the concept of hierarchy, which results in the Hierarchical Compositional Interchan...
متن کاملHierarchical states in the Compositional Interchange Format
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this pap...
متن کاملThe Argument Interchange Format
While significant progress has been made in understanding the theoretical properties of different argumentation logics and in specifying argumentation dialogues, there remain major barriers to the development and practical deployment of argumentation systems. One of these barriers is the lack of a shared, agreed notation or “interchange format” for argumentation and arguments. In the last years...
متن کاملInterchange Format for Hybrid Systems: Abstract Semantics
Semantics Alessandro Pinto1, Luca P. Carloni3, Roberto Passerone2, and Alberto Sangiovanni-Vincentelli1 1 University of California at Berkeley, Berkeley, CA 94720 {apinto, alberto}@eecs.berkeley.edu 2 University of Trento, Trento, Italy [email protected] 3 Columbia University in the City of New York, NY 10027-7003 [email protected] Abstract. In [1] we advocated the need for an interchange fo...
متن کاملFoundations of a Compositional Interchange Format for Hybrid Systems
A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2009
ISSN: 1474-6670
DOI: 10.3182/20090916-3-es-3003.00044